Skip to content

feat(api): add JSpecify nullability annotations - #1970

Open
Yury Semikhatsky (yury-s) wants to merge 1 commit into
microsoft:mainfrom
yury-s:fix-473
Open

feat(api): add JSpecify nullability annotations#1970
Yury Semikhatsky (yury-s) wants to merge 1 commit into
microsoft:mainfrom
yury-s:fix-473

Conversation

@yury-s

Copy link
Copy Markdown
Member

Summary

  • generate JSpecify nullability annotations for the public API
  • mark public API packages as null-marked
  • verify annotations with a Java NullAway consumer check

Fixes #473

Generate nullability annotations for the public API and verify them with a Java NullAway consumer check.

Fixes: microsoft#473
Comment thread playwright/pom.xml
<artifactId>driver-bundle</artifactId>
</dependency>
</dependencies>
<profiles>

Copy link
Copy Markdown

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

I assume this is a test-only null check setup? Otherwise, seems very involved for production pom.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

[Feature] Add nullable reference annotations.

2 participants